DiPS: A Unifying Approach for Developing System Software
نویسندگان
چکیده
In this paper we unify three essential features for flexible system software: a component oriented approach, self-adaptation and separation of concerns. We propose DiPS (Distrinet Protocol Stack), a component framework, which offers components, an anonymous interaction model and connectors to handle non-functional aspects such as concurrency. DiPS has effectively been used in industrial protocol stacks [7] and device drivers [10].
منابع مشابه
Position Summary. DiPS: A Unifying Approach for Developing System Software
In this position paper we unify three essential features for flexible system software: a component oriented approach, self-adaptation and separation of concerns. We propose DiPS (Distrinet Protocol Stack) [4], a component framework, which offers components, an anonymous interaction model and connectors to handle non-functional aspects such as concurrency. This position statement explains why co...
متن کاملDiPS: Filling the Gap between System Software and Testing
Testing system software (such as protocol stacks or file systems) often is a tedious and error-prone process. The reason for this is that such software is very complex and often not designed to be tested. This paper presents DiPS, a component framework, which forces to develop testable software, and DiPSUnit, a JUnit extension, to test DiPS units in a uniform way. Although non-trivial test supp...
متن کاملComponent framework technology for protocol stacks
Computer networks are growing ever more important in our daily lives, as witnessed, for example, by the enormous growth of the Internet and its applications. Networks (wired or wireless) connect not only the now established players in the networked arena, such as PC’s, workstations, laptops, routers, firewalls and servers, but also increasingly less conventional devices such as cars, digital te...
متن کاملDeveloping Reliable yet Flexible Software through If-Then Model Transformation Rules
Developing reliable yet flexible software is a hard problem. Although modeling methods enjoy a lot of advantages, the exclusive use of just one of them, in many cases, may not guarantee the development of reliable and flexible software. Formal modeling methods ensure reliability because they use a rigorous approach to software development. However, lack of knowledge and high cost practically fo...
متن کاملA Unified Framework for Developing Service-Oriented, Component-Based Distributed Software Systems
This chapter introduces the UniFrame approach to creating high quality computing systems from heterogeneous components distributed over a network. It describes how this approach employs a unifying framework for specifying such systems to unite the concepts of service-oriented architectures, a component-based software engineering methodology and a mechanism for automatically finding components o...
متن کامل